How to glue analysis modelsVAN DALEN, D.The Journal of symbolic logic. 1984, Vol 49, Num 4, pp 1339-1349, issn 0022-4812Article

Forcing in intuitionistic systems without power-setGRAYSON, R. J.The Journal of symbolic logic. 1983, Vol 48, Num 3, pp 670-682, issn 0022-4812Article

Epistemic and intuitionistic arithmeticSHAPIRO, S.Studies in logic and the foundations of mathematics. 1985, Vol 113, pp 11-46, issn 0049-237XArticle

Replacement and collection in instuitionistic set theoryGOODMAN, N. D.The Journal of symbolic logic. 1985, Vol 50, Num 2, pp 344-348, issn 0022-4812Article

Separating minimal, intuitionist, and classical logicMEREDITH, D.Notre Dame journal of formal logic. 1983, Vol 24, Num 4, pp 485-490, issn 0029-4527Article

THE UNPROVABILITY IN INTUITIONISTIC FORMAL SYSTEMS OF THE CONTINUITY OF EFFECTIVE OPERATIONS ON THE REALS.BEESON M.1976; J. SYMBOL. LOGIC; U.S.A.; DA. 1976; VOL. 41; NO 1; PP. 18-24; BIBL. 5 REF.Article

Markov's rule is admissible in the set theory with intuitionistic logicKHAKHANIAN, V. KH.Lecture notes in computer science. 1997, pp 167-171, issn 0302-9743, isbn 3-540-63385-5Conference Paper

A boundedness theorem in ID₁(W)JAGER, G.The Journal of symbolic logic. 1986, Vol 51, Num 4, pp 942-947, issn 0022-4812Article

Inhabitation of types in the simply typed lambda calculusDEKKERS, W.Information and computation (Print). 1995, Vol 119, Num 1, pp 14-17, issn 0890-5401Article

Sur une extension de la classe des algèbres de Heyting = On an extension of the class of Heyting algebrasSULARIA, M.Comptes rendus de l'Académie des sciences. Série 1, Mathématique. 1986, Vol 302, Num 3, pp 83-86, issn 0764-4442Article

A genuinely intensional set theoryGOODMAN, N. D.Studies in logic and the foundations of mathematics. 1985, Vol 113, pp 63-79, issn 0049-237XArticle

The lack of definable witnesses and provably recursive functions in intuitionistic set theoriesFRIEDMAN, H. M; SCEDROV, A.Advances in mathematics (New York, NY. 1965). 1985, Vol 57, Num 1, pp 1-13, issn 0001-8708Article

Large sets in intuitionistic set theoryFRIEDMAN, H; SCEDROV, A.Annals of pure and applied logic. 1984, Vol 27, Num 1, pp 1-24, issn 0168-0072Article

On the period of sequences (Aⁿ(p)) in intuitionistic propositional calculusRUITENBURG, W.The Journal of symbolic logic. 1984, Vol 49, Num 3, pp 892-899, issn 0022-4812Article

On the freyd cover of a toposMOERDIJK, I.Notre Dame journal of formal logic. 1983, Vol 24, Num 4, pp 517-526, issn 0029-4527Article

Sulle relazioni di copertura nel modello dei filtri di una teoria proposizionale intuizionista = Sur les relations de couverture d'un modèle de filtres d'une théorie propositionnelle intuitionniste = On the covering relations for a model of filters in an intuitionistic propositional theoryGHILARDI, S; MELONI, G. C.Rendiconti - Istituto lombardo. Accademia di scienze e lettere. A. Scienze matematiche e applicazioni. 1983, Vol 117, pp 223-235, issn 0392-9523Article

A structurally complete fragment of relevant logicSLANEY, J. K; MEYER, R. K.Notre Dame journal of formal logic. 1992, Vol 33, Num 4, pp 561-566, issn 0029-4527Article

Arithmetic transfinite induction and recursive well-orderingsFRIEDMAN, H. M; SCEDROV, A.Advances in mathematics (New York, NY. 1965). 1985, Vol 56, Num 3, pp 283-294, issn 0001-8708Article

Bases des règles admissibles du système modal Grz et de la logique intuitionnisteRYBAKOV, V. V.Matematičeskij sbornik (Moskva). 1985, Vol 128, Num 3, pp 321-338, issn 0368-8666Article

Heine-Borel does not imply the fan theoremMOERDIJK, I.The Journal of symbolic logic. 1984, Vol 49, Num 2, pp 514-519, issn 0022-4812Article

The real-algebraic structure of Scott's model of intuitionistic analysisSCOWCROFT, P.Annals of pure and applied logic. 1984, Vol 27, Num 3, pp 275-308, issn 0168-0072Article

Closing the gap between the stable semantics and extensions of WFSOSORIO, Mauricio; BORJA, Veronica; ARRAZOLA, Jose et al.Lecture notes in computer science. 2004, pp 202-211, issn 0302-9743, isbn 3-540-21459-3, 10 p.Conference Paper

Coercive subtyping in type theoryLUO, Z.Lecture notes in computer science. 1997, pp 275-296, issn 0302-9743, isbn 3-540-63172-0Conference Paper

An analysis of Girard's paradox = Une analyse du paradoxe de GirardCOQUAND, Thierry.Rapports de recherche - INRIA. 1986, Num 531, issn 0249-6399, 1 p.Report

Intuitionistic fuzzy logic and intuitionistic fuzzy set theoryTAKEUTI, G; TITANI, S.The Journal of symbolic logic. 1984, Vol 49, Num 3, pp 851-866, issn 0022-4812Article